翻訳と辞書 Words near each other ・ Microsoft Streets & Trips ・ Microsoft Student ・ Microsoft Student Partners ・ Microsoft Studios ・ Microsoft Surface ・ Microsoft Symbol Server ・ Microsoft Sync ・ Microsoft Sync Framework ・ Microsoft Tablet PC ・ Microsoft Talisman ・ Microsoft Talo ・ Microsoft Tape Format ・ Microsoft TechNet ・ Microsoft Technology Associate ・ Microsoft telephone number format ・ Microsoft Terminator ・ Microsoft text-to-speech voices ・ Microsoft Theater ・ Microsoft Tinker ・ Microsoft Train Simulator ・ Microsoft Train Simulator 2 ・ Microsoft Transaction Server ・ Microsoft Translator ・ Microsoft TV ・ Microsoft UI Automation ・ Microsoft Update Catalog ・ Microsoft V-Chat ・ Microsoft Venus ・ Microsoft version numbering ・ Microsoft Video 1 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Microsoft Terminator ： ウィキペディア英語版 Microsoft Terminator Terminator, a research project at Microsoft Research, is an automated program analyzer that aims to find whether a program can run infinitely (so called termination analysis). It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs. Like all programs for termination analysis it tries to solve the halting problem for particular cases, since the general problem is undecidable.〔(【引用サイトリンク】accessdate=2010-05-25 )〕 It provides a solution which is sound, meaning that when it states that a program does always terminate, the result is dependable. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Microsoft Terminator」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.